1

Partial correctness of exits from concurrent structures

Year:
1986
Language:
english
File:
PDF, 346 KB
english, 1986
2

An axiomatic semantics for nested concurrency

Year:
1986
Language:
english
File:
PDF, 477 KB
english, 1986
3

A complete axiomatic semantics of spawning

Year:
1991
Language:
english
File:
PDF, 1.63 MB
english, 1991
4

Singular and Plural Nondeterministic Parameters

Year:
1997
Language:
english
File:
PDF, 340 KB
english, 1997
7

Computation Algebras

Year:
2001
Language:
english
File:
PDF, 756 KB
english, 2001
9

Algebraic approaches to nondeterminism---an overview

Year:
1997
Language:
english
File:
PDF, 843 KB
english, 1997